Identity in epistemic semantics
نویسنده
چکیده
This paper is a contribution to the semantical theory of different types of knowledge ascription, in particular the semantics of ‘knowing who’ and of the interaction between quantifiers and epistemic modal expressions. In possible world semantics, the truth conditions of such sentences depend on the way that identity across possible worlds is modeled. The main argument of this paper is that the context-dependence of such sentences can be modeled as a dependence on the identity relation between objects in possible worlds.
منابع مشابه
Conceivability, Possibility and Two-Dimensional Semantics
Kripke (1980) famously separates the metaphysical and epistemic modal domains, with supposed necessary a posteriori identity statements such as ‘Hesperus is Phosphorus’, appearing to create an irreconcilable gap between conceivability and possibility. In response to this problem, David Chalmers (2002, 2004a, 2006) uses two-dimensional modal semantics (2DS) to claim that conceivability entails p...
متن کاملEpistemic Virtue from the Viewpoints of Mulla Sadra and Zagzebski
This paper compares epistemic virtue from the viewpoints of Zagzebski and Mulla Sadra, aiming to determine the extent to which their viewpoints on epistemic virtue are similar. Zagzebski, the contemporary philosopher, considers epistemic virtue as the basis on which knowledge is interpreted. She sees epistemic virtue as a requirement for achieving knowledge. Mulla Sadra, the founder of Transcen...
متن کاملRoles, Rigidity, and Quantification in Epistemic Logic
Epistemic modal predicate logic raises conceptual problems not faced in the case of alethic modal predicate logic: Frege’s “Hesperus-Phosphorus” problem— how to make sense of ascribing to agents ignorance of necessarily true identity statements—and the related “Hintikka-Kripke” problem—how to set up a logical system combining epistemic and alethic modalities, as well as others problems, such as...
متن کاملLogic and Communication in Multi-Agent Systems
To express knowledge and communication in multi-agents systems, a hybrid of possible-worlds and game-theoretic semantics is defined for the language of independence-friendly (IF) first-order epistemic logic. The language distinguishes between specific and non-specific knowledge by hiding worlds. Identification on stratified domains is via imperfect information that agrees with cross-world refer...
متن کاملEpistemic two-dimensionalism
1 Four puzzles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1 2 Epistemic two-dimensionalism . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.1 Two-dimensional semantics . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.2 Epistemic intensions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3 2.3 Excluded v...
متن کامل